Automating Requirement Analysis Through Combination of Static and Dynamic Model Construction

Problem Statement Most requirement specifications are written in natural language. This approach facilitates easy communication among stakeholders because everyone can understand clearly written natural language text. However, the drawback is that the natural language specifications are often imprecise and ambiguous. There have been many proposed ways to tackle this problem. Formal modeling, controlled grammar and natural language parsing are the most widely known approaches. The Dowser project aims to create a static model of a system using link grammar parsing of requirement specifications. Project Cogito uses a controlled grammar to parse usecases and validates the use-cases against domain specific knowledge stored in an ontology. We are trying to combine these two approaches to generate static and dynamic model and explore the relation between them. We will implement a unified system using the Dowser and Cogito. This system will provide a more comprehensive view of the system than that produced by any single tool itself.